home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IO Examples / Simple DataBase / listextensions.dcl < prev    next >
Text File  |  1996-12-12  |  396b  |  11 lines
  1. definition module listextensions
  2.  
  3. import    StdOverloaded
  4.  
  5. insertAt    :: !Int                 .a     u:[.a] -> v:[.a]                                , [u <= v]
  6. updateAt    :: !Int                 .a    [.a] ->   [.a]
  7. insertindex    :: !(a -> a -> Bool) !a    !u:[ a] -> (!Int,!v:[a])                        , [u <= v]
  8. removeindex    :: !a                    !u:[ a] -> (!Int,!v:[a])    | ==, toString a    , [u <= v]
  9. moveinlist    :: !Int !Int            ! .[ a] -> [a]
  10. splitby        :: a                    ! .[ a] -> [.[a]]            | == a
  11.